Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case Elina Kalnina Audris Kalnins Agris Sostaks

Source URL: arxiv.org

• Graph theory
• Mathematics
• Discrete mathematics
• Graph rewriting
• Transformation language
• Graph
• Matching
• Directed graph
• Metamodeling
• Multigraph

Wins and Losses of Algebraic Transformations of Software Architectures H.M. Fahmy1 , R.C. Holt 1 , and J.R. Cordy2 Dep’t. of Computer Science, University of Waterloo, Waterloo, Ontario 2 Dep’t. of Computing & Informa

Source URL: plg.uwaterloo.ca

• Graph theory
• Discrete mathematics
• Mathematics
• Graphs
• Graph rewriting
• Relational algebra
• Graph
• Pattern matching
• Tree
• Signal-flow graph

Pattern Matching in MOLA Agris Sostaks IMCS University of Latvia, Latvia Abstract. This paper addresses the pattern matching problem for model

Source URL: melnais.mii.lu.lv

• Software engineering
• Computer programming
• Graph rewriting
• VIATRA
• Pattern matching
• Transformation language
• Metamodeling
• GrGen
• Iterator
• Rete algorithm
• Foreach loop
• Mola

Scheffler_Algorithmics_paper

Source URL: scheffler.fh-stralsund.de

• Graph drawing
• Force-directed graph drawing
• Graph theory
• Planar graph
• Graph
• Algorithm
• Shortest path problem
• Meurs Challenger
• Graph rewriting

The Workshops of the Tenth International AAAI Conference on Web and Social Media Wiki: Technical Report WSENRICH: A Query Rewriting Service Powered by Wikipedia Graph Structure — Extended Abstract Joan Guisado-G

Source URL: snap.stanford.edu

Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: se.inf.ethz.ch

• Systems engineering
• Graph rewriting
• Unified Modeling Language
• Model transformation
• Data transformation
• Model checking
• Mathematical logic

Master Thesis s-lab – Software Quality Lab Quality Assurance of Software Engineering Methods using Graph Transformation Rules

Source URL: s-lab.uni-paderborn.de

• SEMS
• Graph rewriting
• Software quality
• Database

PROGRAMMED CONTROLLED COMPOSED GRAPH REWRITING (ILLUSTRATED IN GROOVE) Arend Rensink, University of Twente

Source URL: gam2016.swt-bamberg.de

Quantum CS with Graph Rewriting and CAS Aleks Kissinger Oxford University Computing Laboratory July 6, 2009

Source URL: dream.inf.ed.ac.uk

Santini_Francesco_SR_INRIA

Source URL: fellowship.ercim.eu

• Declarative programming
• Constraint programming
• Software engineering
• Theoretical computer science
• Programming paradigms
• Graph theory
• Constraint logic programming
• Logic programming
• Graph rewriting
• Graph